Bits and Pieces from the Onomastic Store
نویسندگان
چکیده
منابع مشابه
Synthesizing Ranking Functions from Bits and Pieces
In this work, we present a novel approach based on recent advances in software model checking to synthesize ranking functions and prove termination (and non-termination) of imperative programs. Our approach incrementally refines a termination argument from an under-approximation of the terminating program state. Specifically, we learn bits of information from terminating executions, and from th...
متن کاملDynamic Bits and Pieces
This report is the first of a planned sequence of annual updates of the book "Exploring Logical Dynamics", CSLI Publications, Stanford, summer 1996. It contains a number of further results obtained since its first publication. Sections 1, 2, 3 concern various issues in modal logic, 4, 5, 6 dynamic logic, and 7 temporal logic, while Sections 8, 9 digress into infinitary logic. Some corrigenda, a...
متن کاملModel Checking in Bits and Pieces
The central thesis explored in this paper is that parallel model checking is easily achieved through compositional methods. This may strike the reader as being self-evident. Nevertheless, it does not appear to have been considered before. The justification comes from the following observations: (1) the efficacy of a parallel program is inversely proportional to the amount of synchronization and...
متن کاملThe RNA Silencing Pathway: The Bits and Pieces That Matter
Cellular pathways are generally proposed on the basis of available experimental knowledge. The proposed pathways, however, may be inadequate to describe the phenomena they are supposed to explain. For instance, by means of concise mathematical models we are able to reveal shortcomings in the current description of the pathway of RNA silencing. The silencing pathway operates by cleaving siRNAs f...
متن کاملInstantiating and Detecting Design Patterns: Putting Bits and Pieces Together
Design patterns ease designing, understanding, and re-engineering software. Achieving a well-designed piece of software requires a deep understanding and a good practice of design patterns. Understanding existing software relies on the ability to identify architectural forms resulting of the implementation of design patterns. Maintaining software involves spotting places that can be improved by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Traditiones
سال: 2009
ISSN: 0352-0447
DOI: 10.3986/traditio2009380105